a - RECOGNIZABLE SEMIGROUPS
نویسندگان
چکیده
Semigroups in which every principal congruence is of finite index are studied in this paper.
منابع مشابه
A variety theorem without complementation
The most important tool for classifying recognizable languages is Eilenberg’s variety theorem [1], which gives a one-to-one correspondence between (pseudo)-varieties of finite semigroups and varieties of recognizable languages. Varieties of recognizable languages are classes of recognizable languages closed under union, intersection, complement, left and right quotients and inverse morphisms. R...
متن کاملRelational morphisms, transductions and operations on languages
The aim of the article is to present two algebraic tools (the representable transductions and the relational morphisms) that have been used in the past decade to study operations on recognizable languages. This study reserves a few surprises. Indeed, both concepts were originally introduced for other purposes : representable transductions are a formalization of automata with output and have bee...
متن کاملPositive Varieties and Infinite Words
Carrying on the work of Arnold, Pécuchet and Perrin, Wilke has obtained a counterpart of Eilenberg’s variety theorem for finite and infinite words. In this paper, we extend this theory for classes of languages that are closed under union and intersection, but not necessarily under complement. As an example, we give a purely algebraic characterization of various classes of recognizable sets defi...
متن کاملClasses of Tree Languages and DR Tree Languages Given by Classes of Semigroups
In the first section of the paper we give general conditions under which a class of recognizable tree languages with a given property can be defined by a class of monoids or semigroups defining the class of string languages having the same property. In the second part similar questions are studied for classes of (DR) tree languages recognized by deterministic root-to-frontier tree recognizers.
متن کاملOperations on Weakly Recognizing Morphisms
Weakly recognizing morphisms from free semigroups onto finite semigroups are a classical way for defining the class of ω-regular languages, i.e., a set of infinite words is weakly recognizable by such a morphism if and only if it is accepted by some Büchi automaton. We consider the descriptional complexity of various constructions for weakly recognizing morphisms. This includes the conversion f...
متن کامل